sampling theorem proof